dircheck.dtx[*]

David Carlisle